:root {
  font-family: Inter, Avenir, Helvetica, Arial, sans-serif;
  font-size: 16px;
  line-height: 24px;
  font-weight: 400;

  font-synthesis: none;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: antialiased;
  -moz-osx-font-smoothing: grayscale;
  -webkit-text-size-adjust: 100%;
}

body {
  background-color: var(--vscode-editorWidget-background);
  color: var(--vscode-editorWidget-foreground);
  margin: 0;
}

#editors {
  position: relative;
  min-width: 0;
  height: 45vh;
  border: 1px solid var(--vscode-editorWidget-border);
}

#panel {
  display: flex;
  flex: 1;
  border: 1px solid var(--vscode-editorWidget-border);
  min-height: 0;
}

.standalone-editor {
  width: 100%;
  height: 55vh;
}

#titleBar {
  position: relative;
  flex: none;
}

#banner {
  flex: none;
}

#workbench-container {
  height: 100vh;
  display: flex;
  flex-direction: column
}

#workbench-top {
  display: flex;
  gap: 20px;
  flex: 2;
  min-height: 0
}
